package randoopFailures;

import junit.framework.*;

public class PackageModelRandoopTest_failure_12 extends TestCase {

  public static boolean debug = false;

  public void test1() throws Throwable {

    if (debug) System.out.printf("%nPackageModelRandoopTest_failure_12.test1");


    com.hyperrealm.kiwi.ui.model.DefaultKListModel var0 = new com.hyperrealm.kiwi.ui.model.DefaultKListModel();
    var0.removeItemAt((-1));
    com.hyperrealm.kiwi.ui.model.DefaultKListModel var3 = new com.hyperrealm.kiwi.ui.model.DefaultKListModel();
    var3.removeItemAt((-1));
    java.lang.Object var7 = var0.getField((java.lang.Object)var3, (-1));
    com.hyperrealm.kiwi.ui.model.KListModelTableAdapter var8 = new com.hyperrealm.kiwi.ui.model.KListModelTableAdapter((com.hyperrealm.kiwi.ui.model.KListModel)var3);
    com.hyperrealm.kiwi.ui.model.TableSorter var9 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var10 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    com.hyperrealm.kiwi.ui.model.TableSorter var11 = new com.hyperrealm.kiwi.ui.model.TableSorter();
    var10.addTableModelListener((javax.swing.event.TableModelListener)var11);
    var9.setModel((javax.swing.table.TableModel)var10);
    boolean var14 = var10.isSortedAscending();
    var8.removeTableModelListener((javax.swing.event.TableModelListener)var10);
    com.hyperrealm.kiwi.ui.model.DefaultKListModel var16 = new com.hyperrealm.kiwi.ui.model.DefaultKListModel();
    com.hyperrealm.kiwi.ui.model.KTableColumnModel var17 = new com.hyperrealm.kiwi.ui.model.KTableColumnModel();
    var16.removeItem((java.lang.Object)var17);
    var16.removeItemAt(0);
    java.lang.String var22 = var16.getFieldLabel(0);
    var16.removeItemAt(10);
    var16.clear();
    com.hyperrealm.kiwi.ui.model.KTableColumnModel var26 = new com.hyperrealm.kiwi.ui.model.KTableColumnModel();
    javax.swing.event.TableColumnModelListener[] var27 = var26.getColumnModelListeners();
    boolean var28 = var26.getColumnSelectionAllowed();
    java.lang.Object var30 = var16.getField((java.lang.Object)var26, (-1));
    com.hyperrealm.kiwi.ui.model.DefaultStackModel var31 = new com.hyperrealm.kiwi.ui.model.DefaultStackModel();
    var31.trimToSize();
    var31.addElement((java.lang.Object)(byte)10);
    var31.setSize(100);
    java.lang.Object var37 = var31.pop();
    com.hyperrealm.kiwi.ui.model.KTableColumnModel var38 = new com.hyperrealm.kiwi.ui.model.KTableColumnModel();
    int var39 = var38.getColumnCount();
    var31.push((java.lang.Object)var38);
    com.hyperrealm.kiwi.ui.model.DefaultStackModel var41 = new com.hyperrealm.kiwi.ui.model.DefaultStackModel();
    var41.trimToSize();
    var41.addElement((java.lang.Object)(byte)10);
    java.lang.Object var45 = var41.firstElement();
    com.hyperrealm.kiwi.ui.model.KDocument var47 = new com.hyperrealm.kiwi.ui.model.KDocument((-1));
    javax.swing.text.Position var48 = var47.getStartPosition();
    java.io.File[] var50 = new java.io.File[] { };
    com.hyperrealm.kiwi.ui.model.FilesystemDataSource var52 = new com.hyperrealm.kiwi.ui.model.FilesystemDataSource(var50, true);
    java.lang.Object var55 = var52.getValueForProperty((java.lang.Object)(byte)0, "");
    java.io.File[] var56 = new java.io.File[] { };
    com.hyperrealm.kiwi.ui.model.FilesystemDataSource var58 = new com.hyperrealm.kiwi.ui.model.FilesystemDataSource(var56, true);
    java.lang.Object var60 = var52.getValueForProperty((java.lang.Object)var56, "hi!");
    var47.putProperty((java.lang.Object)0.0f, (java.lang.Object)var56);
    javax.swing.text.Position var62 = var47.getStartPosition();
    boolean var63 = var47.isModified();
    int var64 = var41.lastIndexOf((java.lang.Object)var47);
    boolean var65 = var31.contains((java.lang.Object)var47);
    javax.swing.text.Element var66 = var47.getBidiRootElement();
    int var67 = var16.indexOf((java.lang.Object)var47);
    var10.setValueAt((java.lang.Object)var16, 100, (-1));

  }

}
